منابع مشابه
Journal of Information and Computing Science, JIC, Vol1 2006 No1
( , ) k s SAT − is the propositional satisfiable problem restricted to instances where each clause has exactly k distinct literals and every variable occurs at most s times. It is known that there exits an exponential function f such that for ( ) s f k ≤ , all ( , ) k s SAT − instances are satisfiable, but ( , ( ) 1) k f k SAT + − is already NPcomplete ( 3 k ≥ ). Therefore, we call the function...
متن کاملJournal of Information and Computing Science, JIC, Vol1 2006 No1, ISSN 1746-7659
Abstract. Time Petri Nets (TPNs) are a popular Petri net model for specification and verification of real-time systems. A widely applied method for analyzing Petri nets is component-level reduction analysis. The existing technique for component-level reduction analysis transforms a TPN component to a constant size of simple one while maintains the net external observable timing properties, but ...
متن کاملLearning to answer questions
We present an open-domain QuestionAnswering system that learns to answer questions based on successful past interactions. We follow a pattern-based approach to Answer Extraction, where (lexico-syntactic) patterns that relate a question to its answer are automatically learned and used to answer future questions. Results show that our approach contributes to the system’s best performance when it ...
متن کاملAnswer to BT questions
BitTorrent is a P2P file distribution system designed for distributing large files. The current mechanism used to implement BitTorrent does not support streaming of data but with few changes in the protocols of BitTorrent this system can also be used for streaming data. Two important mechanisms which we have to consider while making changes are BT’s Piece selection mechanism and Incentive mecha...
متن کاملAnswer Commonly Asked Project Questions
When mining software archives, we want to learn from the past to shape the future. But what does the research so far tell us about the future of the field itself? For this special issue, we invited and collected statements from nine research leaders in the field. These statements show opportunities for data collection and exploitation (Michael Godfrey, Ahmad Hassan, and James Herbsleb), enhanci...
متن کاملDoes Physics Answer Metaphysical Questions?
According to logical positivism, so the story goes, metaphysical questions are meaningless, since they do not admit of empirical confirmation or refutation. However, the logical positivists did not in fact reject as meaningless all questions about for example, the structure of space and time. Rather, key figures such as Reichenbach and Schlick believed that scientific theories often presupposed...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
تعالی بالینیجلد ۱، شماره ۲، صفحات ۱۲۰-۱۲۲
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023